(declare-fun c0 () Bool)
(declare-fun c1 () String)
(assert (str.in.re e2 e3))
(assert (not (= "" e2)))
(check-sat)
(declare-fun c0 () Bool)
(declare-fun c1 () String)
(assert (str.in.re e2 e3))
(check-sat)
(declare-fun c0 () Bool)
(declare-fun c1 () String)
(assert (not (= "" e2)))
(check-sat)
